map{-}eval($x$.$f$($x$);$L$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$rec{-}case($L$) of [] =$>$ [] $\mid$ $a$::$b$ =$>$ $r$.callbyvalue($f$($a$);$a$.callbyvalue($r$;$b$.[$a$ / $b$]))